A Basic Extended Simple Type Theory

Predicting the Determinants of Nutritional Behaviors among High School Female Students: The Application of Extended Theory of Reasoned Action

Aims: Unhealthy nutrition is the cause of 35% of death due to cancer. Modification of dietary patterns from childhood and beginning adulthood and having good nutritional behaviors is very important to prevent diseases. The aim of this study was to determine the predictive factors of nutritional behaviors based on the extended theory of reasoned action among high school female students. Instrum...

New analytical soliton type solutions for double layers structure model of extended KdV equation

In this present study the double layers structure model of extended Korteweg-de Vries(K-dV) equation will be obtained with the help of the reductive perturbation method, which admits a double layer structure in current plasma model. Then by using of new analytical method we obtain the new exact solitary wave solutions of this equation. Double layer is a structure in plasma and consists of two p...

A Basi Extended Simple Type Theory

محاسبه فاصله عدم قطعیت بر پایه آنتروپی شانون و تئوری دمپستر-شافر از شواهد

Abstract Dempster Shafer theory is the most important method of reviewing uncertainty for information system. This theory as introduced by Dempster using the concept of upper and lower probabilities extended later by Shafer. Another important application of entropy as a basic concept in the information theory  can be used as a uncertainty measurement of the system in specific situation In th...

A Formalization of the Naive Type Theory

The language of contemporary mathematics is set theory. However, the axiomatic set theory was built to establish the consistency of mathematics, not to be the language of it. Set theory identifies two very basic ideas into one notion of a “set”: set as a universe and set as a predicate. Type theory is a language which do not exhibit many of the drawbacks of set theory. In this thesis we build a...